|
|
| 1 |
|
| Autor: | Bell, J.L. |
| Naslov: | A course in mathematical logic |
| Izdanje: | 1. |
| Impresum: | NORTH-HOLLAND PUBLISHING COMPANY , 1977 |
| Materijalni opisi: | xviii, 599 str : ilustr. ; 24. cm |
| Napomena: | Bibliografija: str.576-583 |
| ID: | 3072532877 |
| Format: | Tiskana građa |
| Knjižnica: | Knjižnica Fakulteta elektrotehnike i računarstva, http://knj.zpm.fer.hr/ |
|
| 2 |
|
|
|
| 3 |
|
|
|
| 4 |
|
|
|
| 5 |
|
| Autor: | Kneebone, G.T. |
| Naslov: | Mathematical Logic and the Foundations of Mathematics / Kneebone G.T. |
| Impresum: | London : D.van Nostrand Company , 1963 |
| Materijalni opisi: | XIV+ 435 str. : sa sl. ; v8 0 |
| Napomena: | Sa bibliografijom. |
| Signatura: | 901 |
| ID: | 980116012 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet elektrotehnike, strojarstva i brodogradnje Split, http://www.fesb.hr/fesb/bib/bibli.htm |
|
| 6 |
|
|
|
| 7 |
|
|
|
| 8 |
|
| ISBN: | 953-222-138-7 |
| Autor: | Davis, Martin |
| Naslov: | Na logički pogon : Podrijetlo ideje računala / Martin Davis |
| Impresum: | Zagreb : Naklada Jesenski i Turk , 2003 |
| Materijalni opisi: | 294 str. : ilustr. ; 22 cm |
| Nakladnička cjelina: | Nakladnička cjelina ; 42 |
| Napomena: | Prijevod djela: Engines of Logic. - Bibliografija str.271-294 |
| Tema: | Computers * mathematical logic |
| Signatura: | 3536 |
| ID: | 840119002 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet elektrotehnike, strojarstva i brodogradnje Split, http://www.fesb.hr/fesb/bib/bibli.htm |
|
| 9 |
|
|
|
| 10 |
|
|
|
| 11 |
|
| Naslov: | Ontos mathematical logic / edited by Wolfram Pohlers...<et al.> |
| Impresum: | Frankfurt <etc.> : Ontos Verlag , 2006- . |
| Materijalni opisi: | 21 cm |
| Napomena: | Numerirana nakladnička cjelina |
| ID: | 981121255 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
| 12 |
|
| ISBN: | 0-486-26404-1 |
| Naslov: | What mathematical logic? / J. N. Crossley...<et al.> |
| Impresum: | New York : Dover publications, Inc , 1990 |
| Materijalni opisi: | <7>, 82 str. ; 22 cm |
| Nakladnička cjelina: | Dover books on mathematics |
| Napomena: | Kazalo: str. 81-82. |
| Tema: | Matematička analiza |
| Lokacija: | Katedra za matematiku |
| ID: | 980918258 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
| 13 |
|
| ISBN: | 0-387-30294-8 |
| Autor: | Rautenberg, Wolfgang |
| Naslov: | A Concise introduction to mathematical logic / Wolfgang Rautenberg |
| Izdanje: | 2nd edit |
| Impresum: | Berlin : Springer , 2006 |
| Materijalni opisi: | XVII, 256 str. ; 23 cm |
| Nakladnička cjelina: | Universitext |
| Napomena: | Bibliografija: str. 241-246. |
| Tema: | Matematička logika |
| Lokacija: | Katedra za matematiku |
| ID: | 980219253 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
| 14 |
|
| ISBN: | 0-387-98655-3 |
| Autor: | Poizat, Bruno |
| Naslov: | A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat |
| Impresum: | Berlin<etc.> : Springer , 2000 |
| Materijalni opisi: | XXXI, 443 str. : ilustr. ; 24 cm |
| Nakladnička cjelina: | Universitext |
| Napomena: | Bibliografija: str. 419-427. |
| Dodani naslov: | Introduction to contemporary mathematical logic |
| Tema: | Teorija modela |
| Lokacija: | Katedra za matematiku |
| ID: | 970715203 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
| 15 |
|
| ISBN: | 0-486-67632-3 |
| Autor: | Wang, Hao |
| Naslov: | Popular lectures on mathematical logic / Hao Wang |
| Impresum: | New York : Dover Publications, Inc. , 1993 |
| Materijalni opisi: | 281 str. : ilustr. ; 22 cm |
| Napomena: | Kazalo: str. 279-281. |
| Tema: | Matematička logika |
| Lokacija: | Katedra za matematiku |
| ID: | 970304202 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
| 16 |
|
| ISBN: | 0-88385-036-2 |
| Autor: | Wolf, Robert S. |
| Naslov: | A Tour through mathematical logic / Robert S. Wolf |
| Impresum: | Washington : Mathematical Association of America , 2005 |
| Materijalni opisi: | xv, 397 str. ; 22 cm |
| Nakladnička cjelina: | The Carus Mathematical monographs ; 30 |
| Napomena: | Bibliografija: str. 375-379. |
| Tema: | Matematička logika |
| Lokacija: | Katedra za matematiku |
| ID: | 970302258 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
| 17 |
|
| ISBN: | 0-387-94258-0 |
| Autor: | Ebbinghaus, Heinz-Dieter |
| Naslov: | Mathematical logic / H. Ebbinghaus, J. Flum, W. Thomas |
| Izdanje: | 2. edition |
| Impresum: | New York : Springer , 1994 |
| Materijalni opisi: | X, 289 str. : 13 ilustr. ; 23 cm |
| Nakladnička cjelina: | Undergraduate texts in mathematics |
| Napomena: | Kazalo: str. 283-289. |
| Tema: | Matematička logika * Logika, matematička |
| Lokacija: | Katedra za matematiku |
| ID: | 950130002 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
| 18 |
|
|
|
| 19 |
|
|
|
| 20 |
|
| ISBN: | 0-691-12300-4 |
| Autor: | Epstein, Richard L. |
| Naslov: | Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Leslaw W. Szczerba |
| Impresum: | Princeton Oxford : Princeton university press , 2006 |
| Materijalni opisi: | XXII, 522 str. ; 26 cm |
| Napomena: | Kazalo: str. 499-522. |
| Dodani naslov: | Semantic foundations of logic |
| Tema: | Matematička logika |
| Lokacija: | Katedra za matematiku |
| ID: | 980516464 |
| Format: | Tiskana građa |
| Knjižnica: | Fakultet strojarstva i brodogradnje Zagreb, http://www.fsb.hr/library/ |
|
|
|
|
1
|